PMAN4
SEL@KIT
Author: Quentin Maissonneuve
  • Research duration: 2018 - 2018
  • Total publications: 1
Publication counts by year
  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
Publication counts by category
Research keywords
testgenerationefficientsequencelocalizationmultiplefaultscommunicationprotocolsconditioncoveragedecisionmodifiedoptimalsatsolvingsuite
Publications
2018
International Conference

[1] Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Valentin Artho, and Angelo Gargantini, "Optimal Test Suite Generation for Modified Condition Decision Coverage using SAT solving", Proc. of The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pp. 123-138, 2018.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.